home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
ast_comp
/
concurre.tar
/
concurrency
/
iowatr.tex
/
labels.pl
< prev
next >
Wrap
Text File
|
1993-07-05
|
6KB
|
230 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.
$key = q/cite_BR/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Birk35/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Birk67/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Bri81/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_CCMP/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_CT51/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Con/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_DeM/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Ded01/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Dij76/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Dil39/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Ekl77/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_FL/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Fuc63/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Gir87/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_HU/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_JT48/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_JT51/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_JT52/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Jon82/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_KT/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Kle/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Koz79a/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Koz79aa/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Koz79b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Koz80b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Koz81a/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Koz83/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Lyn50/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Mac/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Mak64/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Mon64/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_NT77/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Nem82/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Ng84/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Par78/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pei/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr76/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr78/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr79b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr79c/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr80a/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr80b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr81b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pr86/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Red64/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Schr95/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Seg77/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Sto36/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_TG87/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Tar41/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Tar55/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_VG/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_WD/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";
1;
# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.
1;